翻訳と辞書 Words near each other ・ Partial concurrent thinking aloud ・ Partial correlation ・ Partial cube ・ Partial current ・ Partial cyclic order ・ Partial defence ・ Partial derivative ・ Partial differential algebraic equation ・ Partial differential equation ・ Partial discharge ・ Partial dislocations ・ Partial dominance hypothesis theory ・ Partial element equivalent circuit ・ Partial equilibrium ・ Partial equivalence relation ・ Partial evaluation ・ Partial fraction decomposition ・ Partial fractions in complex analysis ・ Partial function ・ Partial geometry ・ Partial group algebra ・ Partial groupoid ・ Partial hospitalization ・ Partial ileal bypass surgery ・ Partial impact theory ・ Partial index ・ Partial integration ・ Partial integration (contract law) ・ Partial isometry ・ Partial k-tree Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Partial evaluation ： ウィキペディア英語版 Partial evaluation In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs which run faster than the originals while being guaranteed to behave in the same way. A computer program, ''prog'', is seen as a mapping of input data into output data: :$prog\; :\; I\_\; \backslash times\; I\_\; \backslash to\; O$ $I\_$, the ''static data'', is the part of the input data known at compile time. The partial evaluator transforms $\backslash langle\; prog,\; I\_\backslash rangle$ into $prog^$ * : I_ \to O by precomputing all static input at compile time. $prog^$ * is called the "residual program" and should run more efficiently than the original program. The act of partial evaluation is said to "residualize" $prog$ to $prog^$ *. == Futamura projections == A particularly interesting example of the use of partial evaluation, first described in the 1970s by Yoshihiko Futamura,〔(Yoshihiko Futamura's Website )〕 is when ''prog'' is an interpreter for a programming language. If Istatic is source code designed to run inside said interpreter, then partial evaluation of the interpreter with respect to this data/program produces ''prog *'', a version of the interpreter that only runs that source code, is written in the implementation language of the interpreter, does not require the source code to be resupplied, and runs faster than the original combination of the interpreter and the source. In this case prog * is effectively a compiled version of Istatic. This technique is known as the first Futamura projection, of which there are three: #Specializing an interpreter for given source code, yielding an executable #Specializing the specializer for the interpreter (as applied in #1), yielding a compiler #Specializing the specializer for itself (as applied in #2), yielding a tool that can convert any interpreter to an equivalent compiler They were first described by Futamura in 1983.〔(Partial Computation of Programs, Yoshihiko Futamura, March 1983 )〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Partial evaluation」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.